define double @main(i8 %argc, i8** %arcv) {
  ret double 125.31999999999999317878973670303821563720703125
}

; ASSERT EQ: double 125.31999999999999317878973670303821563720703125 = call double @main(i64 0, i8** null)

